xl: introduce rtds scheduler
authorMeng Xu <mengxu@cis.upenn.edu>
Sat, 20 Sep 2014 22:15:02 +0000 (18:15 -0400)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 23 Sep 2014 13:40:08 +0000 (14:40 +0100)
commit3a0a9019df61bc0398bfc8679cee87bc60be245d
tree8645f3b26184b2d6fee2908605b29d786bb134e9
parent8720585406745681f3b610e93008f2c85fe1f4a1
xl: introduce rtds scheduler

Add xl command for rtds scheduler
Note: VCPU's parameter (period, budget) is in microsecond (us).

Signed-off-by: Meng Xu <mengxu@cis.upenn.edu>
Signed-off-by: Sisu Xi <xisisu@gmail.com>
Reviewed-by: Dario Faggioli <dario.faggioli@citrix.com>
Reviewed-by: George Dunlap <george.dunlap@eu.citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
docs/man/xl.pod.1
tools/libxl/xl.h
tools/libxl/xl_cmdimpl.c
tools/libxl/xl_cmdtable.c